Conducting Verification And Validation Of Multi-Agent Systems

نویسندگان

  • A. Al-Neaimi
  • S. Qatawneh
  • Nedhal Al Saiyd
چکیده

Verification and Validation (V&V) is a series of activities ,technical and managerial ,which performed by system tester not the system developer in order to improve the system quality ,system reliability and assure that product satisfies the users operational needs. Verification is the assurance that the products of a particular development phase are consistent with the requirements of that phase and preceding phase(s), while validation is the assurance that the final product meets system requirements. an outside agency can be used to performed V&V, which is indicate by Independent V&V, or IV&V, or by a group within the organization but not the developer, referred to as Internal V&V. Use of V&V often accompanies testing, can improve quality assurance, and can reduce risk. This paper putting guidelines for performing V&V of Multi-Agent Systems (MAS).

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Model Checking Multi-Agent Systems

Multi-agent systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can be generalized to deal with multi-agent systems. This paper explores a particular type of multi-agent system, in which each agent is viewed as having the three menta...

متن کامل

Verifying Multi-Agent Knowledge-Based Systems using COVERAGE

Anomaly detection, as performed by the COVER tool, has proven to be a useful method for verification of knowledge-based systems. The increasing development of distributed knowledge-based systems based upon the multi-agent architecture demands techniques for the verification of these systems. This paper describes the COVERAGE too1 -an extension of COVER designed to perform anomaly detection on m...

متن کامل

Symbolic Model Checking for Multi-Agent Systems

Multi-Agent Systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, symbolic model checking, can be generalized to deal with Multi-Agent Systems. Our approach is fully amenable to the reuse of data structures used in symbolic model checking, Binary Deci...

متن کامل

Using ILP-Systems for Verification and Validation of Multi-agent Systems

Most applications of inductive logic programming focus on prediction or the discovery of new knowledge. We describe a less common application of ILP namely veriication and validation of knowledge based systems and multi-agent systems. Using inductive logic programming, partial declarative speciications of the software can be induced from the behavior of the software. These rules can be readily ...

متن کامل

Validation and Verification of Agent and Multi-agent Plans in Dynamic Environment

In multi-agent systems evolving in complex and dynamic environments, the agents need to plan their tasks and to monitor its execution in order to deal with unpredictable situations. They must have plans that remain subject to continual updating, even during its execution. To cope with this issue, we proposed in previous works, SHPlNet, a model allowing to represent plans less sensitive to execu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1210.3640  شماره 

صفحات  -

تاریخ انتشار 2012